b{-}union($A$; $B$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$tunion($\mathbb{B}$; $x$.if $x$ then $A$ else $B$ fi )